161. Category theory and computer science
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C388
1987
162. Category theory and computer science
Author: / D.H. Pitt ... [et al.] (ed.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Categories (Mathematics)--Congresses
Classification :
QA
,
76
.
6
,.
C3882
,
1989
163. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
164. Category theory and computer science
Author:
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Electronic digital computers- Programming- Congresses►Categories (Mathematics)- Congresses
Classification :
76
.
6
.
C38
165. Category theory and computer science
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming -- Congresses,Categories (Mathematics) -- Congresses
Classification :
QA
76
.
6
.
C3882
1989
166. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
283
167. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings
Author: / D.H. Pitt, A. Poigne, D.E. Rydeheard (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C388
1987
R
168. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: D.H. Pitt ... )et al.( )ed.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L4
v
.
389
169. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... (et al.) (ed.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
.
6
.
C3882
1989
170. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
389
171. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings
Author: / D.H. Pitt ... [et al.] (ed.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer programming- Congresses,Categories (Mathematics)- Congresses
Classification :
QA76
.
6
.
C3882
1989
R
172. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
Author: David Pitt, David E. Rydeheard, Peter Johnstone, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
Classification :
QA
76
.
6
.
B53
1995
173. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding
Author: / Eugenio Moggi, Giuseppe Rosolini(eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses
Classification :
QA76
,.
6
.
B53
174. Category theory & computer programming:tutorial & workshop,
Author: PITT,DAVID H
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , CATEGORIES )MATHEMATICS(
Classification :
QA
76
.
6
.
C387
1985
175. Cell mapping methods :
Author: Jian-Qiao Sun, Fu-Rui Xiong, Oliver Schütze, Carlos Hernández.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular mappings.,Cellular mappings.,MATHEMATICS-- General.
Classification :
QA360
176. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
177. Chemical and biomedical engineering calculations using Python
Author: Heys, Jeffrey J.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Engineering mathematics,، Python )Computer program language(
Classification :
TA
330
.
H49
178. Classroom assessment for students in special and general education /
Author: Cathleen G. Spinelli.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Children with disabilities-- Education-- United States-- Evaluation.,Educational tests and measurements-- United States.,Inclusive education-- United States-- Evaluation.,Children with disabilities-- Education-- Evaluation.,Educational tests and measurements.,Inclusive education-- Evaluation.,United States., 7
Classification :
LC4031
.
S745
2012
179. Cloud computing in remote sensing /
Author: Lizhe Wang, Jining Yan, Yan Ma.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing.,Remote sensing-- Data processing.,Cloud computing.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- General.,MATHEMATICS-- General.,Remote sensing-- Data processing.
Classification :
G70
.
4
.
W354
2019eb
180. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
